『Constructive Mathematics』
構成的数学(こうせいてきすうがく、constructive mathematics) E. Bishopの構成的解析学
L.I.J. Brouwerの直観主義数学(intuitionistic mathematics) A.A. Markov. Jrの学派の構成的帰納的数学(constructive recursive mathematics Goldbach conjecture(GC)
目次
1. Introduction
2. The Constructive Interpretation of Logic
3. Varieties of Constructive Mathematics
3.1 Intuitionistic Mathematics
3.2 Recursive Constructive Mathematics(再帰的構成的数学)
3.4 Martin-Löf’s Constructive Type Theory(Martin-Löf構成的型理論)
4. The Axiom of Choice(選択公理) 5. Constructive Reverse Mathematics
5.1 Fan theorems in CRM
6. Constructive Topology
7. Constructive Mathematical Economics and Finance
8. Concluding Remarks
Bibliography
References
Related Literature
Academic Tools
Other Internet Resources
Related Entries